Removed obsolete dump cruft

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index cdaea23..85de1a0 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -257,11 +257,6 @@ $wgMimeDetectorCommand= NULL; # use internal mime_content_type function, availab
 */
 $wgTrivialMimeDetection= false;
 
-/**
- * Produce hashed HTML article paths. Used internally, do not set.
- */
-$wgMakeDumpLinks = false;
-
 /**
  * To set 'pretty' URL paths for actions other than
  * plain page views, add to this array. For instance: